WrongHidingInLHS.agda:5,1-10
Unexpected implicit argument
when checking that the clause f {x} = x has type Set → Set
